nasa had military budget